Formal Specification Methods for the Improvement of Process and Product Quality
نویسندگان
چکیده
Our research activities are focused on formal specification based product and process quality improvement of a software system. We start with a formal specification based pragmatic view on software specification, software refinement, software enhancement and software testing. These features are further explored for the improvement of product and process quality. On the basis of these features we propose a framework for the compliance of standard process improvement model CMMI(Capability Maturity Model Integration) and software product quality improvement.
منابع مشابه
Product quality improvement model considering quality investment in rework policies and supply chain profit sharing
The aim of this paper is to develop an optimization model for quality improvement by considering quality investment in rework policies and supply chain profit sharing. To improve product’s quality, the decision of process target and its tolerance is important since it directly affects the defective rate, manufacturing cost, and loss to customer due to the deviation of product from its specifica...
متن کاملCMMI Process Area Compliance with Formal Specification Based Software Development
The development of reliable systems is still a major challenge for software industry. Construction of such a system requires both process and product based quality assurance. Many process improvement models have been suggested in industry and found appropriate for achieving high quality products. Examples of such process improvement models are CMM/CMMI, Agile, SPICE, ISO 9000 family etc. Howeve...
متن کاملUsing Formal Specifications in the Implementation of CMMI
There are two main aspects of quality assurance in computational systems development and maintenance projects: the process and product view. Several standard models have been proposed for a systematic process improvement, e.g., CMM/CMMI, Agile, SPICE, or the ISO 9000 family. However, even the best process can not guarantee that the resulting products are as expected. For a rigorous analysis of ...
متن کاملDesigning an Economic Repetitive Sampling Plan in the Presence of Two Markets
In this paper, we develop an optimization model for the economic design of repetitive sampling plan in the presence of two markets. The process under consideration produces a product with a normally distributed quality characteristic with unknown mean and known variance. The quality characteristic has a lower specification limit. The quality of the product is controlled via lot-by-lot acceptanc...
متن کاملپردازش تصاویر ورق های فولادی به منظور آشکارسازی عیوب به کمک موجک گابور
In different steps of steel production, various defects appear on the surface of the sheet. Putting aside the causes of defects, precise identification of their kinds helps classify steel sheet correctly, thereby it allocates a high percentage of quality control process. QC of steel sheet for promotion of product quality and maintaining the competitive market is of great importance. In this pap...
متن کامل